Voir, savoir, faire : une étude de cas en logique modale. (Seeing, knowing, doing: case studies in modal logic)
نویسنده
چکیده
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Voir, savoir, faire : une étude de cas en logique modale François Schwarzentruber
منابع مشابه
La logique modale des modèles d'équilibre
RÉSUMÉ. Les modèles ici-et-là-bas et les modèles d’équilibre ont été étudiés comme cadre sémantique pour la programmation par ensembles réponses par Pearce, Cabalar, Lifschitz, Ferraris et d’autres. La sémantique de la logique de l’équilibre est indirecte dans le sens que la notion de satisfiabilité est définie en termes de satisfiabilité dans la logique ici-et-là-bas. Nous donnons ici une séma...
متن کاملTechniques de gestion et d'ingénierie des connaissances pour la conception des dispositifs de transfert de savoir-faire dans les métiers pétroliers
Ce papier présente une recherche en cours sur l’exploitation des techniques de gestion et d’ingénierie des connaissances en vue de l’élaboration d’une démarche stratégique pour le transfert des savoir-faire métiers. Ce transfert se base sur la conception des dispositifs de partage et d’apprentissage à partir des connaissances bien identifiées, dans le domaine des métiers pétroliers. Ces travaux...
متن کاملUn Principe de Résolution en Logique Modale
— The applications of modal logic are connected with programming reasoning and for this reason we are interested in developping theorem proving System for it. A resolution-style theorem proving System for modal logic is presented. The two version of Herbrand property are proved. The completeness of the System is given. Nous présentons dans cet article une formalisation des modalités de re parfa...
متن کاملSystème d'aide à la décision pour la surveillance de la qualité de l'air intérieur
L’ensemble des mandats d’intervention en lien avec une mauvaise qualité de l’air dans les espaces fermés et leurs différentes solutions constitue notre base documentaire qui symbolise l’image représentative de la connaissance et du savoir faire des experts. Le raisonnement que nous mobilisons autour de cette base pour notre système d’aide à la décision est le raisonnement à partir de cas. L’int...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010